An Anticipative Effects-Driven Approach for collaborative process verification

the aim of this paper is to describe and illustrate a collaborative process model verification approach. This approach allows the coherence of a given collaborative process involving numerous resources, activities, and flows to be analyzed in a mission for which there are common objectives to achieve. It also enables the potential effects of this process to be to detected, characterized, and formalized so as to identify the effects on the mission to be executed, on the length of the process and its effectiveness prior to the execution phase. This approach is based on several principles formulated by systemic, enterprise modeling, and model-based system engineering which are formalized. The corresponding framework and support tool is then presented. Finally, the overall approach is illustrated on the basis of a crisis management process.